Na lógica, uma tautologia (desde a grega a±aa» ³¯±, "dizem o mesmo"???) é que um formado um sistema de lógica proposicional, que é verdadeiro para qualquer interpretação; ou seja, para qualquer atribuição de valores de verdade que é feito de suas fórmulas atômicas. 1 2 a construção da tabela verdade é um método eficaz para determinar se ou não qualquer fórmula é uma tautologia.
